bounded below sets